U.S. flag

An official website of the United States government

Display Settings:

Format
Items per page
Sort by

Send to:

Choose Destination
You searched 8+ million full text articles

Try this search in 34+ million citations and abstracts

PMC Full-Text Search Results

Items: 1 to 20 of 8114

1.
Nanopublication-based semantic publishing and reviewing: a field study with formalization papers
Cristina-Iulia Bucur, Tobias Kuhn, Davide Ceolin, Jacco van Ossenbruggen
PeerJ Comput Sci. 2023; 9: e1159. Published online 2023 Feb 21. doi: 10.7717/peerj-cs.1159
PMCID:
PMC10280262
ArticlePDF–1.7M
2.
The Key to Work–Life Balance is (Enriched) Job Design? Three-Way Interaction Effects with Formalization and Adaptive Personality Characteristics
Amadeja Lamovšek, Matej Černe, Ivan Radević, Katerina Božič
Appl Res Qual Life. 2023; 18(2): 647–676. Published online 2022 Sep 1. doi: 10.1007/s11482-022-10100-9
PMCID:
PMC9434089
ArticlePDF–1.5M
3.
Employee accountability in Indonesia: The role of formalization, managerial monitoring behavior and perceived competence
Deri Natria, Samian, Corina D. Riantoputra
PLoS One. 2022; 17(12): e0278330. Published online 2022 Dec 16. doi: 10.1371/journal.pone.0278330
PMCID:
PMC9757594
ArticlePDF–763K
4.
The interplay of labor and capital perspectives on formalization approaches: motorcycle taxi drivers in Bangkok
Kritsada Theerakosonphong, Somsak Amornsiriphong
Heliyon. 2022 Mar; 8(3): e09061. Published online 2022 Mar 5. doi: 10.1016/j.heliyon.2022.e09061
PMCID:
PMC8917306
ArticlePDF–734K
5.
Factors affecting faculty conformity in South China universities
Chuang Xu, Yuan-Cheng Chang
Front Psychol. 2022; 13: 923500. Published online 2022 Aug 25. doi: 10.3389/fpsyg.2022.923500
PMCID:
PMC9453872
ArticlePDF–590K
6.
First-Order Theory of Rewriting for Linear Variable-Separated Rewrite Systems: Automation, Formalization, Certification
Aart Middeldorp, Alexander Lochmann, Fabian Mitterwallner
J Autom Reason. 2023; 67(2): 14. Published online 2023 Apr 6. doi: 10.1007/s10817-023-09661-7
PMCID:
PMC10079773
ArticlePDF–1.6M
7.
SMT-Friendly Formalization of the Solidity Memory Model
Ákos Hajdu, Dejan Jovanović
Programming Languages and Systems. 2020 Apr 18; 12075: 224–250. Published online 2020 Apr 18. doi: 10.1007/978-3-030-44914-8_9
PMCID:
PMC7702262
ArticlePDF–525K
8.
Who would rescue the dilemma of Chinese elderly care? An evolutionary game analysis and simulation research on the formalization of the domestic service industry with subsidy policy
Meina Ren, Xiaozhu Chang, Shasha Du, Linping Liu
Front Public Health. 2023; 11: 1111208. Published online 2023 Mar 21. doi: 10.3389/fpubh.2023.1111208
PMCID:
PMC10071035
ArticlePDF–6.1M
9.
Informal Work and Sustainable Cities: From Formalization to Reparation
Jennifer L. Tucker, Manisha Anantharaman
One Earth. 2020 Sep 18; 3(3): 290–299. Published online 2020 Sep 18. doi: 10.1016/j.oneear.2020.08.012
PMCID:
PMC7500398
ArticlePDF–849K
10.
A Formalization of SQL with Nulls
Wilmer Ricciotti, James Cheney
J Autom Reason. 2022; 66(4): 989–1030. Published online 2022 Jul 27. doi: 10.1007/s10817-022-09632-4
PMCID:
PMC9637088
ArticlePDF–1.3M
11.
MEASURING UNION FORMALIZATION FOR A NEW GENERATION OF FAMILY DEMOGRAPHY: A CASE STUDY FROM URBAN KENYA
Kirsten Stoebenau, Sangeetha Madhavan, Seungwan Kim, Carol Wainaina
Popul Dev Rev. Author manuscript; available in PMC 2024 May 10.
Published in final edited form as: Popul Dev Rev. 2024 Mar; 50(1): 87–116. Published online 2024 Jan 8. doi: 10.1111/padr.12601
PMCID:
PMC11086669
ArticlePDF–749K
12.
Formal reasoning about systems biology using theorem proving
Adnan Rashid, Osman Hasan, Umair Siddique, Sofiène Tahar
PLoS One. 2017; 12(7): e0180179. Published online 2017 Jul 3. doi: 10.1371/journal.pone.0180179
PMCID:
PMC5495343
ArticlePDF–5.8M
13.
Loosen control without losing control: Formalization and decentralization within commons‐based peer production
David Rozas, Steven Huckle
J Assoc Inf Sci Technol. 2021 Feb; 72(2): 204–223. Published online 2020 Jun 16. doi: 10.1002/asi.24393
PMCID:
PMC7976438
ArticlePDF–2.0M
14.
On the formalization and reuse of scientific research
Ross D. King, Maria Liakata, Chuan Lu, Stephen G. Oliver, Larisa N. Soldatova
J R Soc Interface. 2011 Oct 7; 8(63): 1440–1448. Published online 2011 Apr 13. doi: 10.1098/rsif.2011.0029
PMCID:
PMC3163424
ArticlePDF–296K
15.
Between Meanings and Senses-Making Spaces: Agency and Ownership Emergence Formalization from Cultural-Historical Activity Theory Position, for an AI-Friendly Model
Mohamad El Maouch, Zheng Jin
Integr Psychol Behav Sci. 2023 May 17 : 1–39. doi: 10.1007/s12124-023-09770-3 [Epub ahead of print]
PMCID:
PMC10188320
AbstractArticlePDF–1.3M
16.
Transition from the Informal to the Formal Economy: The Need for a Multi-faceted Approach
Kamala Sankaran
Indian J Labour Econ. 2022; 65(3): 625–642. Published online 2022 Sep 21. doi: 10.1007/s41027-022-00398-2
PMCID:
PMC9491659
ArticlePDF–480K
17.
Informal waste pickers in guayaquil: Recycling rates, environmental benefits, main barriers, and troubles
J. Hidalgo-Crespo, J.L. Amaya-Rivas, Inês Ribeiro, M. Soto, Andreas Riel, Peggy Zwolinski
Heliyon. 2023 Sep; 9(9): e19775. Published online 2023 Sep 3. doi: 10.1016/j.heliyon.2023.e19775
PMCID:
PMC10559109
ArticlePDF–5.1M
18.
A discourse analysis of the macro-structure, metadiscoursal and microdiscoursal features in the abstracts of research articles across multiple science disciplines
Sing Bik Cindy Ngai, Rita Gill Singh, Alex Chun Koon
PLoS One. 2018; 13(10): e0205417. Published online 2018 Oct 12. doi: 10.1371/journal.pone.0205417
PMCID:
PMC6185845
ArticlePDF–1.5M
19.
Ontological modeling of the International Classification of Functioning, Disabilities and Health (ICF): Activities&Participation and Environmental Factors components
Silvia Cozzi, Andrea Martinuzzi, Vincenzo Della Mea
BMC Med Inform Decis Mak. 2021; 21: 367. Published online 2021 Dec 29. doi: 10.1186/s12911-021-01729-x
PMCID:
PMC8715566
ArticlePDF–3.0M
20.
Data transmission reduction formalization for cloud offloading-based IoT systems
Aya Elouali, Higinio Mora Mora, Francisco José Mora-Gimeno
J Cloud Comput (Heidelb) 2023; 12(1): 48. Published online 2023 Mar 28. doi: 10.1186/s13677-023-00424-8
PMCID:
PMC10043837
ArticlePDF–1.4M

Display Settings:

Format
Items per page
Sort by

Send to:

Choose Destination

Supplemental Content

Filter your results:

PMC Images search for formalization

See more (184)...

Find related data

Search details

See more...

Recent activity

Clear Turn Off Turn On

Your browsing activity is empty.

Activity recording is turned off.

Turn recording back on

See more...
You are here: NCBI > Literature > PubMed Central (PMC)
Support Center